منابع مشابه
Formal Synthesis for Pipeline Design?
Holger Hinrichsen, Hans Eveking, and Gerd Ritter Dept. of Electrical and Computer Engineering Darmstadt University of Technology, D-64283 Darmstadt, Germany hinrichsen/eveking/[email protected] Abstract. A method of formally correct synthesis is presented and applied to the automatic construction of pipelined processors. The approach is based on a small set of correctness-preserving tra...
متن کاملSynchronous Pipeline Design in Action Systems
The action systems formalism has recently been applied to the area of asynchronous and synchronous VLSI design. In this paper, we study formal aspects of synchronous pipelining. We show how the framework of synchronous action systems can be used to derive a pipelined structure from a non-pipelined specification in a correctness-preserving manner.
متن کاملSoftware design for panoramic astronomical pipeline processing
We describe the software requirement and design specifications for all-sky panoramic astronomical pipelines. The described software aims to meet the specific needs of super-wide angle optics, and includes cosmic-ray hit rejection, image compression, star recognition, sky opacity analysis, transient detection and a web server allowing access to real-time and archived data. The presented software...
متن کاملA Design Environment for Counterflow Pipeline Synthesis
The Counterflow Pipeline (CFP) organization may be a good target for synthesis of application-specific microprocessors for embedded systems because it has a regular and simple structure. This paper describes a design environment for tailoring CFP's to an embedded application to improve performance. Our system allows exploring the design space of all possible CFP's for a given embedded applicati...
متن کاملTechniques for energy-efficient communication pipeline design
The performance of many modern computer and communication systems is dictated by the latency of communication pipelines. At the same time, power/energy consumption is often another limiting factor in many portable systems. We address the problem of how to minimize the power consumption in system-level pipelines under latency constraints. In particular, we apply fragmentation technique to achiev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JOURNAL OF THE JAPAN WELDING SOCIETY
سال: 2011
ISSN: 0021-4787,1883-7204
DOI: 10.2207/jjws.80.172